Un hors sujet sur les ressemblances

Techniques d’animation pour gérer les interactions entre un combattant virtuel et un sujet réel

Cet article propose une méthode pour animer des humains virtuels qui peuvent interagir efficacement avec des sujets réels en réalité virtuelle. Si les ordres du sujet peuvent être modélisés par des cibles à atteindre et des commandes, le système cherche le comportement le plus adapté dans une base de données. Afin d’éviter le recours à de volumineuses bases de données pour gérer tous les cas po...

Sur la préparation du vaccin antipestique desséché, hors du laboratoire, avec un materiel simplifié.

Un système X Raisonner formellement sur les programmes ML

Résumé Nous proposons dans cet article un système de types dit renforcé permettant de garantir la terminaison de programmes exprimés dans le noyau fonctionnel pur de ML. La stratégie d'évaluation est celle de ML. Le langage de types est celui de ML. Le caractère renforcé du système proposé vient de l'ajout aux règles de typage traditionnelles d'un principe d'induction structurelle sur les types...

Zéro-cycles de degré un sur les espaces homogènes

We explain how to build homogeneous spaces of a connected linear algebraic group, having zero-cycles of degree one but no rational point, even on a smooth compactification. Thus, we give a negative answer to a recent question asked by Burt Totaro. Parimala ([Pa]) has independently produced such spaces over fields of the type k((t)) (for k a suitable p-adic field), which are projective varieties...

Un nouvel algorithme de consistance locale sur les nombres flottants

Solving constraints over floating-point numbers is a critical issue in numerous applications notably in program verification. Capabilities of filtering algorithms over the floating-point numbers have been so far limited to 2b-consistency and its derivatives. Though safe, such filtering techniques suffer from the well known pathological problems of local consistencies, e.g., inability to efficie...